Small Stone in Pool
نویسندگان
چکیده
The Stone tautologies are known to have polynomial size resolution refutations and require exponential size regular refutations. We prove that the Stone tautologies also have polynomial size proofs in both pool resolution and the proof system of regular tree-like resolution with input lemmas (regRTI). Therefore, the Stone tautologies do not separate resolution from DPLL with clause learning.
منابع مشابه
Gall stone disease without gall stones--bile acid and bile lipid metabolism after complete gall stone dissolution.
Although bile acid and bile lipid metabolism have been studied in established cholelithiasis, little is known about them in patients destined to develop gall stones, but in whom the stones have not yet appeared (prestone gall stone disease). After confirmed complete gall stone dissolution and withdrawal of treatment, gall stones recur frequently. Before the stones reappear, these patients have ...
متن کاملCicer arietinum in the Treatment of Small Renal Stones: a Double-Blind, Randomized and Placebo-Controlled Trial
Background and objectives: Urolithiasis is a common urological disorder. Based on the Persian medicine literatures, Cicer arietinum has a potential to dissolve renal stones. This study was designed to assess the efficacy and safety of Cicer arietinum in patients with renal stone. Methods: The extract of C. arietinum seeds was sp...
متن کاملSedimentation efficiency of small dams in channels (Case study: Kermanshah province)
Small sediment dams are the key structures for controlling sediment flow and improving the course of waterways in watersheds. In Kermanshah province, the efficiency of these structures in sediment accumulation has been less studied and evaluated. This study aimed to investigate the efficiency of these structures in sediment retention and flood control in three watersheds of the province. For th...
متن کاملBaluch Settlement and Features of Chipped Stone Resulting from Surveying Tepeh Baluch
Tepeh Baluch is located in the northeast of Iran in Khorasan Razavi Province and in the west of Neyshabour Miankouh Plain. Prehistoric studies, especially the Neolithic period of this section of the Iranian Plateau have been less considered compared with the western part. Tepeh Baluch was explored during a short season in the spring and summer of 2011 under the support of Neyshabur University. ...
متن کاملNumerical and physical modeling of soft soil slope stabilized with stone columns
There can be many reasons for engineers to place the footings near a slope such as leakage of suitable sites or architectural considerations. One of the approaches to increase the amount of bearing capacity, especially in soft soils, is adding stone columns to the soil. In this research, the behavior of a strip footing placed near a stone column reinforced clayey slope was investigated. For thi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logical Methods in Computer Science
دوره 10 شماره
صفحات -
تاریخ انتشار 2014